In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...